Computer Science Engineering (CSE) Exam  >  Computer Science Engineering (CSE) Questions  >  Consider the binary relation:S = {(x, y) | y ... Start Learning for Free
Consider the binary relation:
S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}
Q. The reflexive transitive closure of S is
  • a)
    {(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}
  • b)
    {(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}
  • c)
    {(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}
  • d)
    {(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}
Correct answer is option 'B'. Can you explain this answer?
Verified Answer
Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0...
Reflexive closure of a relation R on set S is the smallest reflexive relation which contains R. 
If S = {(0, 1), (1, 2)} , we make it reflexive by taking its union with set {(0, 0), (1, 1), (2, 2)}. Thus, reflexive closure of S = {(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)}. 
Now transitive closure is defined as smallest transitive relation which contains S. 
We check where does it violate property of transitivity then add appropriate pair. We have (0, 1) and (1, 2) but not (0, 2). So, S = {(0, 0), (0, 1), (0, 2), (1, 1), (1, 2), (2, 2)} now. 
 
Thus, option (B) matches the final set S. 
 
Please comment below if you find anything wrong in the above post.
View all questions of this test
Most Upvoted Answer
Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0...
Reflexive Transitive Closure of a Binary Relation:
The reflexive transitive closure of a binary relation S is the smallest relation that contains S and is reflexive and transitive. In other words, it is the relation obtained by adding all missing reflexive and transitive pairs to the original relation S.

Given Relation:
S = {(x, y) | y = x 1 and x, y {0, 1, 2, ...}}

Step 1: Reflexive Closure:
To obtain the reflexive closure of S, we need to add all missing reflexive pairs. A pair (a, a) is reflexive if it satisfies the condition y = x + 1. Therefore, we need to add all pairs (a, a+1) to S.

The reflexive closure of S will be:
S' = {(x, y) | y = x + 1 and x, y {0, 1, 2, ...}}

Step 2: Transitive Closure:
To obtain the transitive closure of S', we need to add all missing transitive pairs. A pair (a, c) is transitive if there exists an intermediate element b such that (a, b) and (b, c) are in S'.

Let's consider an example to understand this. If (0, 1) and (1, 2) are in S', then (0, 2) should also be in S' because there exists an intermediate element 1 such that (0, 1) and (1, 2) are in S'.

Therefore, we need to add all pairs (a, c) to S' such that there exists an intermediate element b such that (a, b) and (b, c) are in S'.

The transitive closure of S' will be:
S'' = {(x, y) | y = x + 1 and x, y {0, 1, 2, ... }}

Step 3: Reflexive Transitive Closure:
To obtain the reflexive transitive closure of S, we need to combine the reflexive closure and transitive closure obtained in the previous steps.

The reflexive transitive closure of S will be:
{(x, y) | y = x + 1 and x, y {0, 1, 2, ... }}

Answer: Option B
Therefore, the correct answer is option B: {(x, y) | y = x + 1 and x, y {0, 1, 2, ... }}.
Free Test
Community Answer
Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0...
Reflexive closure of a relation R on set S is the smallest reflexive relation which contains R. 
If S = {(0, 1), (1, 2)} , we make it reflexive by taking its union with set {(0, 0), (1, 1), (2, 2)}. Thus, reflexive closure of S = {(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)}. 
Now transitive closure is defined as smallest transitive relation which contains S. 
We check where does it violate property of transitivity then add appropriate pair. We have (0, 1) and (1, 2) but not (0, 2). So, S = {(0, 0), (0, 1), (0, 2), (1, 1), (1, 2), (2, 2)} now. 
 
Thus, option (B) matches the final set S. 
 
Please comment below if you find anything wrong in the above post.
Explore Courses for Computer Science Engineering (CSE) exam

Top Courses for Computer Science Engineering (CSE)

Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer?
Question Description
Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? for Computer Science Engineering (CSE) 2024 is part of Computer Science Engineering (CSE) preparation. The Question and answers have been prepared according to the Computer Science Engineering (CSE) exam syllabus. Information about Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? covers all topics & solutions for Computer Science Engineering (CSE) 2024 Exam. Find important definitions, questions, meanings, examples, exercises and tests below for Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer?.
Solutions for Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? in English & in Hindi are available as part of our courses for Computer Science Engineering (CSE). Download more important topics, notes, lectures and mock test series for Computer Science Engineering (CSE) Exam by signing up for free.
Here you can find the meaning of Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? defined & explained in the simplest way possible. Besides giving the explanation of Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer?, a detailed solution for Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? has been provided alongside types of Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? theory, EduRev gives you an ample number of questions to practice Consider the binary relation:S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}Q.The reflexive transitive closure of S isa){(x, y) | y > x and x, y ∈ {0, 1, 2, ... }}b){(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}c){(x, y) | y < x and x, y ∈ {0, 1, 2, ... }}d){(x, y) | y ≤ x and x, y ∈ {0, 1, 2, ... }}Correct answer is option 'B'. Can you explain this answer? tests, examples and also practice Computer Science Engineering (CSE) tests.
Explore Courses for Computer Science Engineering (CSE) exam

Top Courses for Computer Science Engineering (CSE)

Explore Courses
Signup for Free!
Signup to see your scores go up within 7 days! Learn & Practice with 1000+ FREE Notes, Videos & Tests.
10M+ students study on EduRev